eq_atom$n(x;y) == if x=1 y then true else false 

latex

---

clarification:

eq_atom$n(x;y) == atom_eq{$n:n}(x; y; true; false) 

latex

Definitions	true, false
FDL editor aliases	eq_atom*